The Difficulties of Learning Logic Programs with Cut

As real logic programmers normally use cut (!), an effective learning procedure for logic programs should be able to deal with it. Because the cut predicate has only a procedural meaning, clauses containing cut cannot be learned using an extensional evaluation method, as is done in most learning systems. On the other hand, searching a space of possible programs (instead of a space of independent clauses) is unfeasible. An alternative solution is to generate first a candidate base program which covers the positive examples, and then make it consistent by inserting cut where appropriate. The problem of learning programs with cut has not been investigated before and this seems to be a natural and reasonable approach. We generalize this scheme and investigate the difficulties that arise. Some of the major shortcomings are actually caused, in general, by the need for intensional evaluation. As a conclusion, the analysis of this paper suggests, on precise and technical grounds, that learning cut is difficult, and current induction techniques should probably be restricted to purely declarative logic languages.Comment: See http://www.jair.org/ for any accompanying file

Radio emission of highly inclined cosmic ray air showers measured with LOPES

LOPES-10 (the first phase of LOPES, consisting of 10 antennas) detected a significant number of cosmic ray air showers with a zenith angle larger than 50$^{\circ}$, and many of these have very high radio field strengths. The most inclined event that has been detected with LOPES-10 has a zenith angle of almost 80$^{\circ}$. This is proof that the new technique is also applicable for cosmic ray air showers with high inclinations, which in the case that they are initiated close to the ground, can be a signature of neutrino events.Our results indicate that arrays of simple radio antennas can be used for the detection of highly inclined air showers, which might be triggered by neutrinos. In addition, we found that the radio pulse height (normalized with the muon number) for highly inclined events increases with the geomagnetic angle, which confirms the geomagnetic origin of radio emission in cosmic ray air showers.Comment: A&A accepte

Search for anomalies in the neutrino sector with muon spectrometers and large LArTPC imaging detectors at CERN

A new experiment with an intense ~2 GeV neutrino beam at CERN SPS is proposed in order to definitely clarify the possible existence of additional neutrino states, as pointed out by neutrino calibration source experiments, reactor and accelerator experiments and measure the corresponding oscillation parameters. The experiment is based on two identical LAr-TPCs complemented by magnetized spectrometers detecting electron and muon neutrino events at Far and Near positions, 1600 m and 300 m from the proton target, respectively. The ICARUS T600 detector, the largest LAr-TPC ever built with a size of about 600 ton of imaging mass, now running in the LNGS underground laboratory, will be moved at the CERN Far position. An additional 1/4 of the T600 detector (T150) will be constructed and located in the Near position. Two large area spectrometers will be placed downstream of the two LAr-TPC detectors to perform charge identification and muon momentum measurements from sub-GeV to several GeV energy range, greatly complementing the physics capabilities. This experiment will offer remarkable discovery potentialities, collecting a very large number of unbiased events both in the neutrino and antineutrino channels, largely adequate to definitely settle the origin of the observed neutrino-related anomalies.Comment: Contribution to the European Strategy for Particle Physics - Open Symposium Preparatory Group, Kracow 10-12 September 201

Lowering the radioactivity of the photomultiplier tubes for the XENON1T dark matter experiment

The low-background, VUV-sensitive 3-inch diameter photomultiplier tube R11410 has been developed by Hamamatsu for dark matter direct detection experiments using liquid xenon as the target material. We present the results from the joint effort between the XENON collaboration and the Hamamatsu company to produce a highly radio-pure photosensor (version R11410-21) for the XENON1T dark matter experiment. After introducing the photosensor and its components, we show the methods and results of the radioactive contamination measurements of the individual materials employed in the photomultiplier production. We then discuss the adopted strategies to reduce the radioactivity of the various PMT versions. Finally, we detail the results from screening 216 tubes with ultra-low background germanium detectors, as well as their implications for the expected electronic and nuclear recoil background of the XENON1T experiment.Comment: 10 pages, 5 figure

Search for Event Rate Modulation in XENON100 Electronic Recoil Data

We have searched for periodic variations of the electronic recoil event rate in the (2-6) keV energy range recorded between February 2011 and March 2012 with the XENON100 detector, adding up to 224.6 live days in total. Following a detailed study to establish the stability of the detector and its background contributions during this run, we performed an un-binned profile likelihood analysis to identify any periodicity up to 500 days. We find a global significance of less than 1 sigma for all periods suggesting no statistically significant modulation in the data. While the local significance for an annual modulation is 2.8 sigma, the analysis of a multiple-scatter control sample and the phase of the modulation disfavor a dark matter interpretation. The DAMA/LIBRA annual modulation interpreted as a dark matter signature with axial-vector coupling of WIMPs to electrons is excluded at 4.8 sigma.Comment: 6 pages, 4 figure

Search for Two-Neutrino Double Electron Capture of 124^{124}Xe with XENON100

Two-neutrino double electron capture is a rare nuclear decay where two electrons are simultaneously captured from the atomic shell. For $^{124}$Xe this process has not yet been observed and its detection would provide a new reference for nuclear matrix element calculations. We have conducted a search for two-neutrino double electron capture from the K-shell of $^{124}$Xe using 7636 kg$\cdot$d of data from the XENON100 dark matter detector. Using a Bayesian analysis we observed no significant excess above background, leading to a lower 90 % credibility limit on the half-life $T_{1/2}>6.5\times10^{20}$ yr. We also evaluated the sensitivity of the XENON1T experiment, which is currently being commissioned, and find a sensitivity of $T_{1/2}>6.1\times10^{22}$ yr after an exposure of 2 t$\cdot$yr.Comment: 6 pages, 4 figure

Removing krypton from xenon by cryogenic distillation to the ppq level

The XENON1T experiment aims for the direct detection of dark matter in a cryostat filled with 3.3 tons of liquid xenon. In order to achieve the desired sensitivity, the background induced by radioactive decays inside the detector has to be sufficiently low. One major contributor is the $\beta$-emitter $^{85}$Kr which is an intrinsic contamination of the xenon. For the XENON1T experiment a concentration of natural krypton in xenon $\rm{^{nat}}$Kr/Xe < 200 ppq (parts per quadrillion, 1 ppq = 10$^{-15}$ mol/mol) is required. In this work, the design of a novel cryogenic distillation column using the common McCabe-Thiele approach is described. The system demonstrated a krypton reduction factor of 6.4$\cdot$10$^5$ with thermodynamic stability at process speeds above 3 kg/h. The resulting concentration of $\rm{^{nat}}$Kr/Xe < 26 ppq is the lowest ever achieved, almost one order of magnitude below the requirements for XENON1T and even sufficient for future dark matter experiments using liquid xenon, such as XENONnT and DARWIN

Results from the KASCADE, KASCADE-Grande, and LOPES experiments

The origin of high-energy cosmic rays in the energy range from 10^14 to 10^18 eV is explored with the KASCADE and KASCADE-Grande experiments. Radio signals from air showers are measured with the LOPES experiment. An overview on results is given.Comment: Talk at The ninth International Conference on Topics in Astroparticle and Underground Physics, TAUP 2005, Zaragoza, September 10-14, 200

ULF geomagnetic pulsations at different latitudes in Antarctica

We present a study aimed to characterize the ULF (1–100 mHz) geomagnetic pulsation activity in the polar cap at different latitudes. We used magnetic measurements obtained through 2005–2007 in Antarctica, at Dome C (89&amp;deg; S corrected geomagnetic latitude) and at Terra Nova Bay (80&amp;deg; S corrected geomagnetic latitude). The results indicate a solar wind control of the wave activity, more important at larger distances from the cusp, as well as a significant role of the local ionospheric conditions. The different position of the two stations, with respect to the cusp and closed field lines, is responsible for the observed different pulsation characteristics. At Terra Nova Bay, due to the approaching of the station to the cusp and closed field lines in the daytime, the ULF power is characterized by a maximum around noon; daytime pulsation events in the Pc5 frequency band are related to the fundamental field line resonances occurring at lower latitudes, while higher harmonics of the fundamental may account for the characteristics of Pc3–4 pulsations. In the nighttime, at Pc3 frequencies, the results suggest waves propagating sunward, possibly due to the transmission of upstream waves from the magnetosheath via the magnetotail lobes. At Dome C, near the geomagnetic pole and very far from closed field lines, the ULF power in any frequency band only shows an enhancement in the postmidnight sector, more pronounced for Pc3 pulsations. The ULF activity appears to be driven by processes occurring in the magnetotail: in particular, nighttime Pc3 pulsation events may be originated from upstream wave penetration through the magnetotail lobes